<?php

  session_start();
  session_destroy();
  header("location:login.php?msg=".urlencode("You have successfully logged out."));
  exit;
  ?>
